transition:    
t1-a-t2;
t2-b-t2;
t2-c-t3;
t3-a-t4;
t4-b-t5;
t5-a-t6;
initial:
t1;
final: 
t1;
t6.